perm filename G.52[ADM,DBL] blob
sn#167887 filedate 1975-07-10 generic text, type T, neo UTF8
$##
)
NIL
←
STORAGE)
TYPE USED ASSIGNED
1 6398 8192
2 5120 5120
4 109 512
8 18778 54272
12 1944 3072
16 9 2048
18 406 2048
24 79 512
28 1550 2048
30 386 512
SUM 34779 78336
NIL
←
LISPXSTATS)
(27 LISPX INPUTS)
(2273 UNDO SAVES)
(5 CALLS TO EDITOR)
(119 EDIT COMMANDS)
(46 EDIT UNDO SAVES)
(8 P.A. COMMANDS)
OF THOSE DUE TO ERRORS:
OF THE CALLS DUE TO DWIMIFYING:
(0:44:16 CONSOLE TIME)
(0:2:36 OF IT IN THE EDITOR)
(0:1:33 CPU TIME)
(0:0:0 OF IT IN DWIM)
T
←
KFORK(T)
NIL
←
SHOWP(D-R)
BAG-STRUC-DELETE
((ANYTHING BAG-STRUC BAG-STRUC))
BAG-STRUC-INSERT
((ANYTHING BAG-STRUC BAG-STRUC))
COMPOSE
((ACTIVE ACTIVE ACTIVE) (OPERATION OPERATION OPERATION) (RELATION RELATI
**ON RELATION) (PREDICATE ACTIVE PREDICATE))
COMPOSE-EXS
((TYPE SPECIFIC ARGUMENT PATTERN (AND (ARGS-ASA COMPOSE (CLASS F1 F2)) (
**FORMAT (PAIR S1 S2) WHERE (AND (STRUCTURE-MEMB
(QUOTE ALGS) S1 (DOMAIN F1)) (STRUCTURE-MEMB (QUOTE ALGS) S2 (RANGE F2))
**)))) (TYPE GENERAL SPACES (FORMAT (PAIR S1
S2) WHERE (AND (EQUAL S1 (DOMAIN (VIEW COMPOSE B F1))) (EQUAL S2 (RANGE
**(VIEW COMPOSE B F1)))))))
LIST-STRUC-DELETE
((ANYTHING LIST-STRUC LIST-STRUC))
LIST-STRUC-INSERT
((ANYTHING LIST-STRUC LIST-STRUC))
OBJ-EQUAL
((OBJECT OBJECT TRUTH-VAL))
OSET-STRUC-DELETE
((ANYTHING OSET-STRUC OSET-STRUC))
OSET-STRUC-INSERT
((ANYTHING OSET-STRUC OSET-STRUC))
PREDICATE
((ANYTHING TRUTH-VAL))
SET-STRUC-DELETE
((ANYTHING SET-STRUC SET-STRUC))
SET-STRUC-DIFF
((SET-STRUC SET-STRUC SET-STRUC))
SET-STRUC-INSERT
((ANYTHING SET-STRUC SET-STRUC))
SET-STRUC-INTERSECT
((SET-STRUC SET-STRUC SET-STRUC))
STRUCTURE-DELETE
((ANYTHING STRUCTURE STRUCTURE))
STRUCTURE-DIFF
((STRUCTURE STRUCTURE STRUCTURE))
STRUCTURE-EQUAL
((STRUCTURE STRUCTURE TRUTH-VAL))
STRUCTURE-INSERT
((ANYTHING STRUCTURE STRUCTURE))
STRUCTURE-INTERSECT
((STRUCTURE STRUCTURE STRUCTURE))
STRUCTURE-MEMB
((ANYTHING STRUCTURE TRUTH-VAL))
GTEMP6 = (BAG-STRUC-DELETE BAG-STRUC-INSERT COMPOSE COMPOSE-EXS LIST-ST
**RUC-DELETE LIST-STRUC-INSERT OBJ-EQUAL
OSET-STRUC-DELETE OSET-STRUC-INSERT PREDICATE SET-STRUC-DELETE SET-STRUC
**-DIFF SET-STRUC-INSERT SET-STRUC-INTERSECT
STRUCTURE-DELETE STRUCTURE-DIFF STRUCTURE-EQUAL STRUCTURE-INSERT STRUCTU
**RE-INTERSECT STRUCTURE-MEMB)
←
CHANGE-B(COMPOSE-EXS)
D-R
... D-R (ANY-OF & &) WORTH (100 75 100 100 50))
tty:
*2 P
(ANY-OF (TYPE SPECIFIC ARGUMENT PATTERN &) (TYPE GENERAL SPACES &))
*(1 OSET)
*2
*XTR -1
P
(AND (ARGS-ASA COMPOSE &) (FORMAT & WHERE &))
*PP
[AND (ARGS-ASA COMPOSE (CLASS F1 F2))
(FORMAT (PAIR S1 S2) WHERE (AND (STRUCTURE-MEMB (QUOTE ALGS)
S1
(DOMAIN F1))
(STRUCTURE-MEMB (QUOTE ALGS)
S2
(RANGE F2]
*OK
COMPOSE-EXS, D-R
D-R
←EDITP(COMPOSE-EXS)
edit
*P
(GENL (ACTIVE-EXS) D-R (OSET & &) WORTH (100 75 100 100 50))
*OK
COMPOSE-EXS
←REMPROP(COMPOSE-EXS D-R)
D-R
←
ACCEPT-B(COMPOSE-D-R COMPOSE-EXS)
edit
*OK
edit
*P
(GENL (ACTIVE-EXS) WORTH (100 75 100 100 50))
*2 (1 ACTVE-D-R)
*0 P
(GENL (ACTVE-D-R) WORTH (100 75 100 100 50))
*(4 (0)
)
*P
(GENL (ACTVE-D-R) WORTH (0))
*(N FILLIN1 (APPEND (PROGN (ARGS-ASA COMPOSE F1 F2)
(SETQ GTEMP3 (APPLYB 'ANYB-INTERSECT 'ALGS ]
*-1 P
(APPEND (PROGN & &))
*-1 P
(PROGN (ARGS-ASA COMPOSE F1 F2) (SETQ GTEMP3 &))
*(-3 (SETQ RAN1 (LAST (CAR (GETB F1 'D-R))))(SETQ DOM1
(LDIFF (CAR (GETB F1 'D-R)) RAN1))
)
*P
(PROGN (ARGS-ASA COMPOSE F1 F2) (SETQ RAN1 &) (SETQ DOM1 &) (SETQ GTEMP3
** &))
*COPY 4
COPY 3
SW 4 5
P
(PROGN (ARGS-ASA COMPOSE F1 F2) (SETQ RAN1 &) (SETQ DOM1 &) (SETQ RAN1 &
**) (SETQ DOM1 &) (SETQ GTEMP3 &))
*5
*RC 1 2
RAN1->RAN2
F1->F2
*NX
*REDO RC
DOM1->DOM2
F1->F2
RAN1->RAN2
*0 P
(PROGN (ARGS-ASA COMPOSE F1 F2) (SETQ RAN1 &) (SETQ DOM1 &) (SETQ RAN2 &
**) (SETQ DOM2 &) (SETQ GTEMP3 &))
*(-7 (SETQ DOM0 NIL)(SETQ DOM3 NIL) (AND (CDR DOM1)
]
*P
(PROGN (ARGS-ASA COMPOSE F1 F2) (SETQ RAN1 &) (SETQ DOM1 &) (SETQ RAN2 &
**) (SETQ DOM2 &) (SETQ DOM0 NIL) (SETQ DOM3
NIL) (AND &) (SETQ GTEMP3 &))
*LI 7 9
(LI 7 9) ?
*BI 7 9
7 P
((SETQ DOM0 NIL) (SETQ DOM3 NIL) (AND &))
*(1)
*RO 1
*P
((SETQ DOM3 NIL &))
*BO 1
P
(SETQ DOM3 NIL (AND &))
*(3)
*3 P
(AND (CDR DOM1))
*(N (MIN2 (APPEND RAN2 RAN2) DOM1 'FRAC-INCLU)]
*P
(AND (CDR DOM1) (MIN2 & DOM1 &))
*3
*MBD CDR
P
(CDR (MIN2 & DOM1 &))
*OK
THE NUMBER OF CONCEPTS IS NOW 79
COMPOSE-D-R
←(DEFINEQ (MIN2 (LAMBDA X1 X2 F MVAL)
(SETQ MVAL (LIST NIL NIL -1))
(MAP2C X1 X2 (FUNCTION (LAMBDA (Z1 Z2)
]
edit
*-1 P
(MIN2 (LAMBDA X1 X2 F MVAL) (SETQ MVAL &) (MAP2C X1 X2 &))
*2 (N MCAN]
*↑ 3 P
3 ?
*-1
*3 P
(SETQ MVAL (LIST NIL NIL -1))
*(3 -1)
*0 P
(MIN2 (LAMBDA X1 X2 F MVAL MCAN) (SETQ MVAL -1) (MAP2C X1 X2 &))
*-1 P
(MAP2C X1 X2 (FUNCTION &))
*-1 P
(FUNCTION (LAMBDA &))
*-1 P
(LAMBDA (Z1 Z2))
*2 (N TMV)
*0 P
(LAMBDA (Z1 Z2 TMV))
*(N (AND (SETQ TMV (APPLY* F Z1 Z2))(ILESSP TMV MVAL)(SETQ MVAL TMV)
(SETQ MCAN (LIST Z1 Z2 TMV]
*0 PP
[FUNCTION (LAMBDA (Z1 Z2 TMV)
(AND (SETQ TMV (APPLY* F Z1 Z2))
(ILESSP TMV MVAL)
(SETQ MVAL TMV)
(SETQ MCAN (LIST Z1 Z2 TMV]
*0 P
(MAP2C X1 X2 (FUNCTION &))
*0 P
(MIN2 (LAMBDA X1 X2 F MVAL MCAN) (SETQ MVAL -1) (MAP2C X1 X2 &))
*0 P
(DEFINEQ (MIN2 & & &))
*OK
RUNNING AT 214151 LOAD AV. = 7.19, USED 0:02:19.2 IN 1:43:26
(MIN2)
←FIX -1
edit
*RC MIN MAX
MIN2->MAX2
*-1 PP
[MAX2 [LAMBDA X1 X2 F MVAL MCAN]
(SETQ MVAL -1)
(MAP2C X1 X2 (FUNCTION (LAMBDA (Z1 Z2 TMV)
(AND (SETQ TMV (APPLY* F Z1 Z2))
(ILESSP TMV MVAL)
(SETQ MVAL TMV)
(SETQ MCAN (LIST Z1 Z2 TMV]
*R -1 1111
*F ILESSP
*P
(ILESSP TMV MVAL)
*SW 2 3
*OK
(MAX2)
←FORGOT-ANY)
MAYBE YOU FORGOT SOME OF THESE: MIN2 ORD-STRUC MAX2
THINK!!!
NIL
←
NFUN((MIN2 MAX2]
THERE ARE NOW 126 FUNCTIONS ON TOP4COMS
TOP4COMS
←
EDITF(INIT-MAC)
RUNNING AT 14603 LOAD AV. = 5.67, USED 0:02:39.9 IN 1:48:51
loading from <LENAT>UTIL4.;7
prop
edit
*F APPLYB
*P
(APPLYB (X &))
*-1 P
(X (CONS & X))
*2 P
(CONS (QUOTE APPLY*) X)
*(MBD (COND ((AND (LISTP (CAR X))(EQ (CAAR X) 'QUOTE)) X)(T *]
*0 P
(X (COND & &))
*2 P
(COND (& X) (T &))
*PP
(COND
((AND (LISTP (CAR X))
(EQ (CAAR X)
(QUOTE QUOTE)))
X)
(T (CONS (QUOTE APPLY*)
X)))
*F X
*P
... X)
*(: (CONS (CADAR X) (CDR X]
*P
... (CONS & &))
*0 PP
(CAR (CONS (CADAR X)
(CDR X)))
*UNDO :
: undone.
*P
... X)
*0 P
(CAR X)
*0 0 P
(AND (LISTP &) (EQ & &))
*0 P
((AND & &) X)
*2
*REDO :
UNDO undone.
*REDO CADAR
*P
... (CONS & &))
*0 0 P
(AND (LISTP &) (EQ & &))
*2 P
(LISTP (CONS & &))
*(2 (CAR X]
*0 0 PP
((AND (LISTP (CAR X))
(EQ (CAAR X)
(QUOTE QUOTE)))
X)
*2 P
X
*(: (CONS (CADAR X)(CDR X]
*PP
((CONS (CADAR X)
(CDR X)))
*0 P
((AND & &) (CONS & &))
*OK
unsaved
INIT-MAC
←SYSOUT(S)
RUNNING AT 15026 LOAD AV. = 5.10, USED 0:02:55.7 IN 1:56:16